Ostfränkischer König = Könige der Franken